str = "ABCDEF";
if (str.match( /DEF/i )) {
    print("DEF");
}
